Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems

First International Workshop on Formal Techniques for Safety - Critical Systems ( FTSCS 2012 )

Preliminary Proceedings First International Workshop on Formal Methods for Wireless Systems

Probabilistic techniques play a major role in the design and analysis of wireless systems as they contain a significant amount of random or unpredictable components. Traditionally, computer simulation techniques are used to perform probabilistic analysis of wireless systems but they provide inaccurate results and usually require enormous amount of CPU time in order to attain reasonable estimate...

Workshop on Formal Design Of Safety Critical

After investigating the typical hardware structure of a safety critical embedded system, we classify the various heterogeneous components with respect to certain criterias (e.g. manufacturing technology like microelectronics, micromechanics, microoptics; material, energy or information flow; discrete or contineous). Depending on classification, different modelling techniques must be used on dif...

Proceedings of the 5 th International Workshop on Formal Methods for Interactive Systems ( FMIS 2013 ) Preface

The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007)

Human-computer interaction studies try to improve interaction between users and computers. Formal methods can play important role by giving a precise notation to model the interaction and capabilities to reason about the model. This work uses Communicating Sequential Processes (CSP), a simple but powerful process algebra, to model the interaction between user and computer in a case study: a cho...